تولید خودکار محرک های ورودی در درستی یابی عملکردی سیستم های دیجیتال
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تهران
- نویسنده هیوا اساسی
- استاد راهنما سیامک محمدی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1386
چکیده
چکیده ندارد.
منابع مشابه
رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی
از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...
متن کاملتشخیص خودکار نوع مدولاسیون دیجیتال در سیستم های ofdm
امروزه شبیه سازی سیستم های مخابراتی با توجه به پیچیدگی روز به روز تجهیزات، از اهمیت بالایی برخوردار است. مطالعه و بررسی عمل کرد یک سیستم با روش های تحلیلی، سخت و گاهی غیر ممکن بوده و بررسی عمل کردهای سیستم مخابراتی مدرن، بدون استفاده از شبیه سازی، ساخت نمونه آزمایشی را اجتناب ناپذیر می کند. اما علیرغم هزینه های بالای ساخت یک نمونه آزمایشی، هزینه های آزمایش در شرایط مختلف چندین برابر هزینه شبیه ...
سیستم محرک تسمه ای مصرف کننده های جانبی موتور
سیستم محرک تسمه ای موتور وظیفه انتقال گشتاور از پولی میللنگ به مصرف کنندههای جانبی موتور را بر عهده دارد. این سیستم در موتور خودرو استفاده میشود و امروزه فناوریهای جدیدی در آن به کار میرود. در این مقاله سیستم محرک تسمه ای مدرن، اجزای مهم آن و معیارهای مهم عملکردی شامل لغزش تسمه روی پولی، دامنه حرکت تسمه سفت کن، ارتعاشات تسمه و نیروی یاتاقانی تشریح شده و روش طراحی و بهینهسازی سیستم مو...
متن کاملتوصیف و درستی یابی سیستم های نرم افزاری حساس به ایمنی با استفاده از نمودار حالت
توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های ب...
ریشه یابی کاستی های موجود در تحلیل های عددی مدل های غیر خطی دینامیکی مربوط به سیستم های سازه ای
سال هاست که پاسخ حاصل از انتگرال گیری گام به گام مدل های دینامیکی غیر خطی دچار مشکلات عدم همگرایی هستند . علت این معضل ، در ادبیات فنی به دقت توضیح داده نشده است . در این مقاله به منظور توضیح هر چه بهتر علت بروز عدم همگرایی پاسخ های حاصل ازانتگرال گیری گام به گام مدل های دینامیکی غیر خطی ، طی انجام چندین اثبات ریاضی به بررسی دقیق این پدیده نامطلوب پرداخته شده است . نتیجه حاصل بیانگر این واقعیت ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تهران
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023